$\forall$$m$, $a$, $b$, $c$:$\mathbb{Z}$. ($a$ = $b$ mod $m$) $\Rightarrow$ ($b$ = $c$ mod $m$) $\Rightarrow$ ($a$ = $c$ mod $m$)